منابع مشابه
Reverse Mathematics and Fully Ordered Groups
The computable sets form the minimum ω-model of RCA0 and any ω-model of RCA0 is closed under Turing reducibility. RCA0 is strong enough to prove the existence of a set of unique codes for the finite sequences of elements from any set X. We use FinX to denote this set of codes. Also, we use 〈a, b〉, or more generally 〈x0, . . . , xn〉, to denote pairs, or longer sequences, of elements of N. For an...
متن کاملFinite Set Theory based on Fully Ordered Lists
We present a new finite set theory implementation for ACL2 wherein sets are implemented as fully ordered lists. This order unifies the notions of set equality and element equality by creating a unique representation for each set, which in turn enables nested sets to be trivially supported and eliminates the need for congruence rules. We demonstrate that ordered sets can be reasoned about in the...
متن کاملA Mossbauer Effect Study of Triplite and Related Minerals
Mdssbauer parameters are reported for the phosphate minerals triplite, zwieselite, triploidite, and wolfeite. Analysis of the absorption data confirms the existence of non-equivalent ferrous ions. The broadening of the resonance peaks is rationalized on the basis of a microscopic disorder due to half-occupied fluorine sites in the fluoride minerals and to sets of closelv related metal sites in ...
متن کاملordered gabbehs; a multicultural text
gabbeh is one type of different types of hand-woven carpets of qashqaei tribes (south and center of iran) which is woven by the women of these tribes. in fact this hand-woven rug is kind of carpet woven to be slef-consumed which was woven from old times with creative and subjective patterns in a two dimensional and abstract format. the patterns are taken from the nature and environment where th...
متن کاملL-2-aminobutyric acid: two fully ordered polymorphs with Z' = 4.
The crystal structure of L-2-aminobutyric acid, an L-alanine analogue with an ethyl rather than a methyl side chain, has proved elusive owing to problems growing diffraction quality crystals. Good diffraction data have now been obtained for two polymorphs, in space groups P2(1) and I2, revealing surprisingly complex, yet fully ordered crystalline arrangements with Z' = 4. The closely related st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemistry of Materials
سال: 2016
ISSN: 0897-4756,1520-5002
DOI: 10.1021/acs.chemmater.5b04478